lifted addition